/**
 * Software Analysis and Verification 
 * @project: Verify Pattern Matching with Guards in Scala
 * @authors: Mirco Dotta and Philippe Suter
 */


package ch.epfl.lara.patterns.scalac;

import scala.tools.nsc.Global
import scala.tools.nsc.plugins.Plugin

class PatternsPlugin(val global: Global) extends Plugin {
  val name = "pattern-matching-analyzer"
  override val description = "Software analysis project aimed at verifying completeness and disjointness of pattern matching under certain conditions."
    
  object Komponent extends PatternMatchingTransform(global) {}
  
  val components = List(Komponent)
}
